1. Handbook of dynamic system modeling
پدیدآورنده : / edited by Paul A. Fishwick
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer simulation.,System design.
رده :
QA76
.
9
.
C65
,
H345
2007
2. Handbook of dynamic system modeling
پدیدآورنده :
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Computer simulation,System design
رده :
QA
,
76
.
9
,.
C65
,
H345
,
2007
3. Temporal logics : and their applications
پدیدآورنده : edited by Antony Galton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987